Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
581	Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-08-24 05:32:58 Computer Aided Verification Runtime verification Computer science Model checking Real-time computing Theoretical computer science Formal methods Orc
582	Microsoft PowerPoint - ReserachComputerScience.ppt [Compatibility Mode] Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2015-03-10 11:49:14 Research methods Theoretical computer science Design science Engineering design Research Formal language Information systems Formalism Programming language Science Logic Mathematics
583	Introduction Jean-Raymond Abrial March 2008 Purpose of the Tutorial Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-05-23 09:30:14 Formal methods Archaeology of shipwrecks Maritime archaeology Military history of Sweden Ships preserved in museums Vasa Maiden voyage Henrik Hybertsson B-Method European Space Agency Spaceflight Transport
584	Chapter for Lipari Software Engineering Seminar Book; sent to Egon BoergerTHE NAME AND NATURE OF SOFTWARE ENGINEERING DRAFT OF 29 JUNE 2008 Michael Jackson The Open University Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2008-06-29 12:37:00 Formal methods Formal sciences Abstraction Software requirements Systems engineering Formal specification Reason System Engineering Science Knowledge Ethology
585	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
586	Tutorial proposal for FM’08 Jean-Raymond Abrial Topic: Event-B and the Rodin Platform. Abstract on the Objectives and Contents: This tutorial is an introduction to the construction of complex systems using Event-B and Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 09:23:13 B-Method Rodin Jean-Raymond Abrial Model checking Conceptual model Rodin tool Formal methods Software development Theoretical computer science
587	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory
588	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
589	Learning Procedures for Autonomic Computing Tessa Lau, Daniel Oblinger, Lawrence Bergman, and Vittorio Castelli IBM T.J. Watson Research Center P.O. Box 704 Yorktown Heights, NY 10598 Add to Reading List Source URL: tlau.org Language: English - Date: 2003-04-29 11:11:13 Operating system Formal methods Algorithm Mathematical logic Theoretical computer science
590	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing

UPDATE